3

Detection of periodicities and string-matching in real time

Année:
1983
Langue:
english
Fichier:
PDF, 4.73 MB
english, 1983
4

Studies in Constructive Mathematics and Mathematical Logic || Deductive Validity and Reduction Classes

Année:
1969
Langue:
english
Fichier:
PDF, 611 KB
english, 1969
10

Finite approach to the problem of optimizing theorem-proving algorithms

Année:
1978
Langue:
english
Fichier:
PDF, 554 KB
english, 1978
11

A property of enumerable sets containing “complexly deducible” formulas

Année:
1973
Langue:
english
Fichier:
PDF, 303 KB
english, 1973
12

A simplified proof of the real-time recognizability of palindromes on turing machines

Année:
1981
Langue:
english
Fichier:
PDF, 732 KB
english, 1981
13

Search for shortest path around semialgebraic obstacles in the plane

Année:
1994
Langue:
english
Fichier:
PDF, 483 KB
english, 1994
19

Context-free grammars as a tool for describing polynomial-time subclasses of hard problems

Année:
1982
Langue:
english
Fichier:
PDF, 749 KB
english, 1982
24

Sergei Yur'evich Maslov (obituary)

Année:
1984
Langue:
english
Fichier:
PDF, 479 KB
english, 1984
26

Complexity problems in computational theory

Année:
1981
Langue:
english
Fichier:
PDF, 5.95 MB
english, 1981
27

NIKOLAI ALEKSANDROVICH SHANIN (on his sixtieth birthday)

Année:
1980
Langue:
english
Fichier:
PDF, 865 KB
english, 1980